Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
401	STRUCTURE OF CATEGORIES BY JOHN R. ISBELL Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:24:22 Functors Morphisms General topology Functions and mappings Adjoint functors Equivalence of categories Category of topological spaces Monomorphism Epimorphism Mathematics Category theory Abstract algebra
402	PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Add to Reading List Source URL: www.math.unipa.it Language: English - Date: 2009-02-01 11:27:30 Sheaf theory Sheaf Functor Topos Grothendieck topology Presheaf Initial and terminal objects Adjoint functors Zermelo–Fraenkel set theory Category theory Mathematics Abstract algebra
403	Communicating Process Architectures 2008 P.H. Welch et al. (Eds.) IOS Press, 2008 Add to Reading List Source URL: twistedsquare.com Language: English - Date: 2013-08-19 10:40:16 Adjoint functors Procedural programming languages Process calculi Functional languages Occam Communicating sequential processes Monad Haskell Function composition Software engineering Computing Computer programming
404	Unifying Structured Recursion Schemes Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-07-24 16:11:42 Adjoint functors Order theory Equivalence of categories Monad Functor Limit Natural transformation C*-algebra Complete Heyting algebra Abstract algebra Mathematics Category theory
405	Categories of Containers Michael Abbott1 , Thorsten Altenkirch2, and Neil Ghani1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:34:31 Limit Adjoint functors Coproduct Equivalence of categories Product Cartesian closed category Initial and terminal objects Natural transformation Sheaf Category theory Abstract algebra Functors
406	What is a categorical model for Linear Logic? Andrea Schalk Department of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2004-10-15 10:42:33 Closed monoidal category Monoidal functor Monoidal natural transformation Monoid Braided monoidal category Cartesian closed category Product PRO Adjoint functors Category theory Monoidal categories Algebra
407	Coeffects: The Essence of Context Dependence Submitted draft (October 2012) Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-28 21:18:50 Theoretical computer science Models of computation Functional programming Monad Logic in computer science Lambda calculus Function Sheaf Symbol Mathematics Adjoint functors Mathematical logic
408	A Notation for Comonads Dominic Orchard and Alan Mycroft Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-03-19 05:47:49 Computing Functional programming Monad Valuation Lambda calculus Function ALGOL 68 Mathematics Adjoint functors Software engineering
409	ADJOINT FUNCTORS BY Add to Reading List Source URL: ivanych.net Language: English - Date: 2013-05-28 12:23:21 Natural transformation Adjoint functors Hom functor Limit Equivalence of categories Inverse limit Duality Representable functor Yoneda lemma Category theory Functors Abstract algebra
410	Monads for functional programming Philip Wadler, University of Glasgow Department of Computing Science, University of Glasgow, G12 8QQ, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-19 08:32:52 Functional programming Adjoint functors Control flow Models of computation Monad Eval Standard ML Pure function Futures and promises Software engineering Computing Declarative programming

UPDATE